<?php

interface Benchmark
{
    
}